#include "inc/os.h"

void start_kernel(void){ 
	/* User code begin */

	printf("Hello World!\n");

	char msg[20] = "";
	while(1){
		uart_gets(msg, 20);
		uart_puts(msg);
	}

	/* User code end */

    	while(1){}; // stop here!
}
